Process Algebra and Probabilistic Methods Performance Modelling and Verification: Joint International Workshop, PAPM-PROBMIV 2001 Aachen, Germany, ... (Lecture Notes in Computer Science)
by Luca de Alfaro,Stephen Gilmore
ISBN 13: 9783540425564
Format: Paperback (217 pages) Publisher: Springer Published: 29 Aug 2001
Save for later